Using Daikon to automatically estimate the number of executed instructions - Internal preliminary Report
نویسندگان
چکیده
We present a proof of concept that combines static and dynamic analysis in order to obtain symbolic expression that over-approximates the number of times an statement is executed in object oriented languajes like Java. The tool leverages existing dynamic analysis tools like Daikon, but guides it (via programm instrumentation) in order to obtain linear invariants that, after some tranformations, are useful to generate the symbolic expressions. We show how this tool can be used to over-estimate memory consumption in Java applications.
منابع مشابه
Performance Enhancements for a Dynamic Invariant Detector
Dynamic invariant detection is the identification of the likely properties about a program based on observed variable values during program execution. While other dynamic invariant detectors use a brute force algorithm, Daikon adds powerful optimizations to provide more scalable invariant detection without sacrificing the richness of the reported invariants. Daikon improves scalability by elimi...
متن کاملThe effects of attentional focus instructions on learning of balance task amongst Parkinson disease patients
Introduction: Studies with adults have shown that an external focus of attention results in more learning and greater automaticity than an internal focus. Hence, this study was conducted to evaluate the effects of attentional focus instructions on learning of balance skill amongst patients with Parkinson disease. Methods: In this quasi-experimental study, all Parkinson's disease patients referr...
متن کاملEfficient Markov chain model of machine code program execution and halting
This paper focuses on the halting probability and the number of instructions executed by programs that halt for Turing-complete assembly-like languages and register based machines. The halting probability represents the fraction of programs which provide useful results in a machine code genetic programming system. The number of instructions executed by halting programs determines run time and w...
متن کاملA Preliminary Study on the Estimation of the Number of Cancer Patients Eligible for Hadron Therapy in Iran and Fars Province
Hadron therapy (HT) with protons and carbon ions is an advanced radiotherapy technique. As the first report addressing this topic, the present study aimed to estimate the number of patients eligible for HT in Fars province and the whole of Iran. The data were collected through direct inspection of medical records of the patients treated at the Radiotherapy Department, Namazi Hospital, Shiraz, I...
متن کاملPreliminary data suggest possible association between IL-32 expression level and time of MS attack
IL-32 and TNF? are important cytokines in autoimmune and inflammatory diseases. IL-32 has not been previously studied with respect to MS. Here, we report IL-32 and TNF? transcript levels in peripheral blood mononuclear cells of MS patients and control individuals by real time PCR. A significant difference in IL-32 and TNF? mRNA levels of patients as compared to controls was not observed. Howeve...
متن کامل